New Examples of Flux Vacua

Type IIB toroidal orientifolds are among the earliest examples of flux vacua. By applying T-duality, we construct the first examples of massive IIA flux vacua with Minkowski space-times, along with new examples of type IIA flux vacua. The backgrounds are surprisingly simple with no four-form flux at all. They serve as illustrations of the ingredients needed to build type IIA and massive IIA solutions with scale separation. To check that these backgrounds are actually solutions, we formulate the complete set of type II supergravity equations of motion in a very useful form that treats the R-R fields democratically.Comment: 38 pages, LaTeX; references updated; additional minor comments added; published versio

Revisiting the S-matrix approach to the open superstring low energy effective lagrangian

The conventional S-matrix approach to the (tree level) open string low energy effective lagrangian assumes that, in order to obtain all its bosonic ${\alpha'}^N$ order terms, it is necessary to know the open string (tree level) $(N+2)$-point amplitude of massless bosons, at least expanded at that order in $\alpha'$. In this work we clarify that the previous claim is indeed valid for the bosonic open string, but for the supersymmetric one the situation is much more better than that: there are constraints in the kinematical bosonic terms of the amplitude (probably due to Spacetime Supersymmetry) such that a much lower open superstring $n$-point amplitude is needed to find all the ${\alpha'}^N$ order terms. In this `revisited' S-matrix approach we have checked that, at least up to ${\alpha'}^4$ order, using these kinematical constraints and only the known open superstring 4-point amplitude, it is possible to determine all the bosonic terms of the low energy effective lagrangian. The sort of results that we obtain seem to agree completely with the ones achieved by the method of BPS configurations, proposed about ten years ago. By means of the KLT relations, our results can be mapped to the NS-NS sector of the low energy effective lagrangian of the type II string theories implying that there one can also find kinematical constraints in the $N$-point amplitudes and that important informations can be inferred, at least up to ${\alpha'}^4$ order, by only using the (tree level) 4-point amplitude.Comment: 34 pages, 3 figure, Submitted on Aug 4, 2012, Published on Oct 15, 201

Compositional Verification and Optimization of Interactive Markov Chains

Interactive Markov chains (IMC) are compositional behavioural models extending labelled transition systems and continuous-time Markov chains. We provide a framework and algorithms for compositional verification and optimization of IMC with respect to time-bounded properties. Firstly, we give a specification formalism for IMC. Secondly, given a time-bounded property, an IMC component and the assumption that its unknown environment satisfies a given specification, we synthesize a scheduler for the component optimizing the probability that the property is satisfied in any such environment

Conflict as a macrodeterminant of non-communicable diseases: the experience of Libya.

From Europe PMC via Jisc Publications RouterHistory: ppub 2022-10-01Publication status: PublishedFunder: World Bank Grou

On-shell Recursion in String Theory

We prove that all open string theory disc amplitudes in a flat background obey Britto-Cachazo-Feng-Witten (BCFW) on-shell recursion relations, up to a possible reality condition on a kinematic invariant. Arguments that the same holds for tree level closed string amplitudes are given as well. Non-adjacent BCFW-shifts are related to adjacent shifts through monodromy relations for which we provide a novel CFT based derivation. All possible recursion relations are related by old-fashioned string duality. The field theory limit of the analysis for amplitudes involving gluons is explicitly shown to be smooth for both the bosonic string as well as the superstring. In addition to a proof a less rigorous but more powerful argument based on the underlying CFT is presented which suggests that the technique may extend to a much more general setting in string theory. This is illustrated by a discussion of the open string in a constant B-field background and the closed string on the level of the sphere.Comment: 36 + 9 pages text, one figure, v3: added discussion on relation to old-fashioned factorization, typos corrected, published versio

Horava-Lifshitz Holography

We derive the detailed balance condition as a solution to the Hamilton-Jacobi equation in the Horava-Lifshitz gravity. This result leads us to propose the existence of the d-dimensional quantum field theory on the future boundary of the (d+1)-dimensional Horava-Lifshitz gravity from the viewpoint of the holographic renormalization group. We also obtain a Ricci flow equation of the boundary theory as the holographic RG flow, which is the Hamilton equation in the bulk gravity, by tuning parameters in the theory.Comment: 7 page

On effective actions of BPS branes and their higher derivative corrections

We calculate in detail the disk level S-matrix element of one Ramond-Ramond field and three gauge field vertex operators in the world volume of BPS branes, to find four gauge field couplings to all orders of $\alpha'$ up to on-shell ambiguity. Then using these infinite couplings we find that the massless pole of the field theory amplitude is exactly equal to the massless pole S-matrix element of this amplitude for the $p=n$ case to all orders of $\alpha'$. Finally we show that the infinite massless poles and the contact terms of this amplitude for the $p=n+2$ case can be reproduced by the Born-Infeld action and the Wess-Zumino actions and by their higher derivative corrections.Comment: 26 pages, 2 figures, minor corrections,references added and version published in JHE

Perturbative instabilities in Horava gravity

We investigate the scalar and tensor perturbations in Horava gravity, with and without detailed balance, around a flat background. Once both types of perturbations are taken into account, it is revealed that the theory is plagued by ghost-like scalar instabilities in the range of parameters which would render it power-counting renormalizable, that cannot be overcome by simple tricks such as analytic continuation. Implementing a consistent flow between the UV and IR limits seems thus more challenging than initially presumed, regardless of whether the theory approaches General Relativity at low energies or not. Even in the phenomenologically viable parameter space, the tensor sector leads to additional potential problems, such as fine-tunings and super-luminal propagation.Comment: 21 pages, version published at Class. Quant. Gra